Van=0 Con Solver